#include <terms/dl/OperatorNames.hpp>

namespace terms {
	namespace dl {
		const char OperatorNames::UNION[] = "OR";
		const char OperatorNames::INTERSECTION[] = "AND";
		const char OperatorNames::NEGATION[] = "NOT";
		const char OperatorNames::SOME[] = "SOME";
		const char OperatorNames::ALL[] = "ALL";
	}
}
